Wyniki
-
A basic formal equational predicate logic - Part I
George Tourlakis
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 43-56 -
A basic formal equational predicate logic : part II
George Tourlakis
Bulletin of the Section of Logic , 29 /3 (2000) s. 75-87 -
A New Foundation of a Complete Boolean Equational Logic
George Tourlakis
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 13-29